- logische Folgerung
Universal-Lexikon. 2012.
Universal-Lexikon. 2012.
Folgerung — Konklusion; Implikation (fachsprachlich); Konsequenz; Schlussfolgerung; logische Folgerung * * * Fol|ge|rung [ fɔlgərʊŋ], die; , en: Ergebnis einer Überlegung, [logischer] Schluss, den man aus einer Überlegung zieht: eine richtige, falsche,… … Universal-Lexikon
Folgerung — Fọl·ge·rung die; , en; eine Folgerung (aus etwas) das Ergebnis einer Überlegung o.Ä. <eine logische Folgerung; eine Folgerung aus etwas ableiten, ziehen> || K: Schlussfolgerung … Langenscheidt Großwörterbuch Deutsch als Fremdsprache
Logische Programmierung — (Prädikative Programmierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik Programm nicht aus einer Folge von Anweisungen, sondern aus einer Menge von… … Deutsch Wikipedia
Logische Programmiersprache — Logische Programmierung (Prädikative Programmierung) ist ein Programmierparadigma, das auf der mathematischen Logik beruht. Anders als bei der imperativen Programmierung besteht ein Logik Programm nicht aus einer Folge von Anweisungen, sondern… … Deutsch Wikipedia
Folgerung — Als Schlussfolgerung bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten: Eine Schlussfolgerung ist erstens ein sprachliches Gebilde, das aus einer Reihe von Aussagen einerseits, den Prämissen oder Annahmen (zum… … Deutsch Wikipedia
Schlussfolgerung — Fazit; Schlussbemerkung; Schluss; Schlussbetrachtung; Zusammenfassung; Analyse; Resümee; Schlusswort; Konklusion; Implikation (fachsprachlich); … Universal-Lexikon
Implikation — Verwicklung; Auswirkung; Konklusion; Folgerung; Konsequenz; Schlussfolgerung; logische Folgerung * * * Im|pli|ka|ti|on 〈f. 20; unz.〉 1. das Implizieren, Einbeziehung einer Sache in eine andere 2. logische Beziehung zw. zwei Sachverhalten, von… … Universal-Lexikon
Deduktionstheorem — Unter dem Begriff Deduktionstheorem sind zwei eng verwandte Theoreme bekannt, die in der mathematischen Logik von Bedeutung sind. Eine Variante des Theorems, auch als Folgerungstheorem bekannt, stellt auf den Begriff der logischen… … Deutsch Wikipedia
Folgerungstheorem — Unter dem Begriff Deduktionstheorem sind zwei eng verwandte Theoreme bekannt, die in der mathematischen Logik von Bedeutung sind. Eine Variante des Theorems, auch als Folgerungstheorem bekannt, stellt auf den Begriff der logischen… … Deutsch Wikipedia
Konsequenz — Nachwirkung; Folge; Ergebnis; Folgeerscheinung; Effekt; Auswirkung; Ausfluss; Herbeiführung; Hervorbringung; Konklusion; Implikation ( … Universal-Lexikon